Exploration games with UML software design
نویسنده
چکیده
The aim of this work is to use formal games as foundation for a design tool which provides support for the exploration and evaluation of software design in UML. The designer sets up a game on the basis of a UML model and repeatedly plays a game with the tool to detect flaws or incompleteness in the design. During a play the game definition including the underlying UML model may be incremented. This allows the modeller to add information while the game is being played and to react to discoveries which have been made during the play. This research builds on previous work which has been published in [1], [2] and [3].
منابع مشابه
Exploration games for UML software design
The Unified Modeling Language (UML) has become the standard language for the design of object-oriented software systems over the past decade. Even though there exist various tools which claim to support design with UML, their functionality is usually focused on drawing UML diagrams and generating code from the UML model. The task of choosing a suitable design which fulfils the requirements stil...
متن کاملEmbedded SW Design Space Exploration and Automation using UML-Based Tools
This tutorial discusses design space exploration and software automation based on an UML front-end. First, we review software automation tools targeted at the embedded systems domain. Following, we present an approach for the estimation of memory, performance, and energy of a given application modeled from an initial UML specification. We proceed with an analysis of the possibilities of linking...
متن کاملEmbedded SW Design Exploration Using UML-based Estimation Tools
This paper presents an approach for the estimation of memory, performance, and energy from an initial UML specification. It allows the designer to evaluate and compare different modeling solutions, thus supporting design space exploration at a very high abstraction level. An experiment demonstrates our approach, in which an application is modeled in different ways and the solutions are compared...
متن کاملA UML profile for model-driven design of software defined radio applications
Model-driven design (MDD) is considered a very promising approach to cope with complex software applications such as software defined radio (SDR). This paper proposes a MDD approach for SDR applications. Our approach comprises: (1) DiplodocusDF, a domain-specific modelling language for telecommunication applications, which is based on UML. (2) The mechanism to transform DiplodocusDF models into...
متن کاملThe COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
The design of embedded systems is being challenged by their growing complexity and tight performance requirements. This paper presents the COMPLEX UML/MARTE Design Space Exploration methodology, an approach based on a novel combination of Model Driven Engineering (MDE), Electronic System Level (ESL) and design exploration technologies. The proposed framework enables capturing the set of possibl...
متن کامل